automating reasoning是什么意思_automating reasoning中文

automating reasoning中文什么意思

automate: vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...
reasoning: n. 推论，推理；论究，论断；理论，论证；论法。 adj ...
reasoning: n. 推论，推理；论究，论断；理论，论证；论法。 adj. 能推理的；有关推理的。 the reasoning power 推理力。 a reasoning creature 理性动物，人类。
automating consistency checking: 自动连续性核对
automating management information: 自动管理信息

下载手机词典可随时随地查词查翻译

更多例句：下一页

Automated reasoning and equation solving with the characteristic set method
基于特征列方法的自动推理与方程求解
Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
尽管神经网络寻找到的解是一个满意解，但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。
In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

automating reasoning中文什么意思